general set theory造句

例句与造句

1. The first six chapters deal with the basic concepts of the general set theory.
2. See general set theory for more details.
3. :The standard introductory graduate-level books for general set theory are indeed Jech's book and Kunen's book.
4. :: : : You awake the impression that all general set theories are naive and thus to be discarded and only the constructive set theories with its formalized axioms are not naive.
5. Moreover, Robinson arithmetic can be interpreted in general set theory, a small fragment of ZFC . Hence the consistency of ZFC cannot be proved within ZFC itself ( unless it is actually inconsistent ).
6. It's difficult to find general set theory in a sentence. 用general set theory造句挺难的
7. For example, when I proposed to interpret the second-order PA in General set theory, I was told, that in this case we could not prove its categoricity ( and consistency ).
8. Another such system consists of general set theory ( axiom of adjunction ), augmented by an axiom schema stating that a property that holds for the empty set and holds of an adjunction whenever it holds of the adjunct must hold for all sets.
9. However, they were reluctant to adopt this axiom : Fraenkel's opinion was " that Replacement was too strong an axiom for'general set theory'. . . and . . . Skolem only wrote that'we could introduce'Replacement ".
10. There are alternative set theories, e . g . " general set theory " ( GST ), Kripke Platek set theory, and pocket set theory ( PST ), that deliberately omit the axiom of power set and the axiom of infinity and do not allow the definition of the infinite hierarchy of infinites proposed by Cantor.